body {
	font-family: Arial, sans-serif;
	max-width: 85%;
	padding: 50px;
	margin: 20px auto;
	border:solid 1px #bbb;
	border-radius: 4px;
}

h1, #address {
	text-align: center;
	display: table;
	margin: 2% auto;
}

button {
	font-weight: bold;
	color: white;
	text-align: center;
	vertical-align: center;
	background-color: dodgerblue;
	padding: 0.375rem 0.75rem;
	margin: auto 0.25%;
	border-style: none;
	border-radius: 0.25rem;
}

button > span {
	color: black;
	background-color: white;
	display: inline-block;
	padding: 0.25em 0.4em;
	border-radius: 0.25rem;
}

kbd { /* temporary hack so as to not touch too many elements; TODO: change the injected selectors */
	color: white;
	background-color: black;
	padding: 0.2rem 0.4rem;
	border-radius: 0.2rem;
}

dl > dt {
	font-weight: bold;
}
